Thirty-five years of automating mathematics - a volume dedicated to De Bruijn's Automath
- Författare
- (Edited by Fairouz Kamareddine.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer Academic Publishers | 2003 | Massachusetts, Dordrecht, Boston | 328 sidor. | 1-4020-1656-5 |